COMMENT ⊗   VALID 00001 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
∂02-May-78  1245	MG  	ML (LCF metelanguage)    
To play with ML do "R ELCF" then when you get the LISP prompt
* do "(TML)" (u.c.) and then respond with <return> to both "THEORY?"
and "DRAFT?".e.g. simulated interaction:

.r elcf

*(TML)

LCF version 5 issued 27-oct-77
(with simultaneous substitution and new simplification)


THEORY?*

DRAFT?*

* .......
.........
..........etc.eg
.
.
.*letrec map fn l = null l => [] | (fn (hd l)).map fn (tl l));;..


----------------------------------------------------------

The ML prompt should be "#" but to do this needs (DE PROMPT (N) ...?...)
--eg see PROMPT[LCF,FWH] for the Edinburgh hack.




See yah....Mike

∂02-May-78  1258	MG  	erratum   
"fn(hd l).map fn (tl l)" is more correct - ihad an extra  bracket before